symbolic trace

符号追踪